Concurrent ML - PDFSEARCH.IO - Document Search Engine

Concurrent ML
Results: 18

#	Item
1	Channels, Concurrency, and Cores A story of Concurrent ML Andy Wingo ~ wingolog.org ~ @andywingo Add to Reading List Source URL: wingolog.org - Date: 2017-06-23 05:20:05
2	Word-Dokumentvorlage Version 1.2 (ML) Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:59 Computing Software Embedded operating systems System software TinyOS Scheduling Wireless sensor network Thread Windows Task Scheduler Concurrent computing
3	Krajowa Izba Rozliczeniowa S.A. Schema XSD opisująca typy dokumentów obsługiwane w Systemie invooclip Add to Reading List Source URL: www.kir.pl Language: English - Date: 2014-11-28 11:55:53 Functional languages Procedural programming languages Concurrent programming languages XS ML Oz
4	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
5	Toward a parallel implementation of Concurrent ML John Reppy and Yingqi Xiao University of Chicago Abstract. Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class sync Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-01-02 20:52:54
6	PDF Document Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-01-29 21:36:03 Computing Inter-process communication Computer architecture Computer programming Distributed computing architecture Concurrent ML Concurrent computing Message passing SIMPL Synchronous programming language Channel Multi-core processor
7	TOWARD OPTIMIZATION OF CONCURRENT ML YINGQI XIAO THE UNIVERSITY OF CHICAGO ADVISOR: JOHN REPPY DECEMBER 2005 Add to Reading List Source URL: manticore.cs.uchicago.edu Language: English - Date: 2012-01-17 08:40:31
8	More Effective Distributed ML via a Stale Synchronous Parallel Parameter Server †Qirong Ho, †James Cipar, §Henggang Cui, †Jin Kyu Kim, †Seunghak Lee, ‡Phillip B. Gibbons, †Garth A. Gibson, §Gregory R. Gange Add to Reading List Source URL: papers.nips.cc Language: English - Date: 2014-11-26 14:10:57 Stochastic optimization Inter-process communication Parallel computing Vector clock Distributed computing Futures and promises Lasso Ant colony optimization algorithms Bulk synchronous parallel Concurrent computing Computing Distributed algorithms
9	Kill-Safe Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Max in The Princess Bride Matthew Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2004-04-09 16:54:07 Software engineering Scheduling Continuation Control flow Concurrent ML Q Blocking Futures and promises Thread Computing Inter-process communication Computer programming
10	Dataset & Pipeline ML Pipeline Demo > import org.apache.spark.ml._ import org.apache.spark.ml.classification._ import org.apache.spark.ml.feature._ Add to Reading List Source URL: files.meetup.com Language: English - Date: 2015-01-14 17:51:56 Cloud infrastructure Hadoop Apache Hadoop MapReduce MapR Master of Engineering Computing Concurrent computing Cloud computing

UPDATE